Object theory - PDFSEARCH.IO - Document Search Engine

Object theory
Results: 981

#	Item
821	Resolving and Exploiting the k-CFA Paradox Illuminating Functional vs. Object-Oriented Program Analysis Matthew Might Yannis Smaragdakis Add to Reading List Source URL: matt.might.net Language: English - Date: 2014-01-06 09:40:17 Mathematical logic Logic in computer science Metalogic Model theory Denotational semantics Lambda calculus Structure Theoretical computer science Models of computation Mathematics
822	Universe Polymorphism: Subtyping and Unification Matthieu Sozeau Project Team πr 2 INRIA & PPS, Paris 7 Add to Reading List Source URL: mattam.org Language: English - Date: 2014-01-16 05:12:23 Computing Polymorphism Data types Functional programming Subtype polymorphism Bounded quantification System F Inheritance Unification Software engineering Type theory Object-oriented programming
823	MFPS[removed]A free object in quantum information theory Keye Martin1 Johnny Feng2 Sanjeevi Krishnan3 Center for High Assurance Computer Systems Naval Research Laboratory Add to Reading List Source URL: www.nearmidnight.com Language: English - Date: 2012-12-25 23:16:45 Mechanics Quantum teleportation Quantum channel Qubit Monoid Bloch sphere Density matrix Quantum information science Physics Mathematics
824	Xiangqi also known as Chinese Chess Summary of Chinese Chess Rules 1) The object of the game is to checkmate (~capture) the opponent’s king. 2) A king cannot move into check, and must avoid check at all costs. 3) White Add to Reading List Source URL: www.elephantchess.com Language: English - Date: 2012-02-08 12:11:24 Chess variants Abstract strategy games Chess theory Mind sports Xiangqi King Outline of chess Pawn Rules of chess Chess Games Chess pieces
825	Parameterized Types for GOO by James Knight S.B. in Electrical Engineering and Computer Science from the Massachusetts Institute of Technology (2002) Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2002-09-26 10:07:51 Programming language theory Data types Polymorphism Method Object-oriented programming Type system Constructor Subtype polymorphism Type safety Software engineering Computing Type theory
826	Anatomic Images for the Public Web Server Image Add to Reading List Source URL: archive.nlm.nih.gov Language: English - Date: 2003-04-30 09:58:46 Data Computing Database models Database theory Object database Object-oriented design Data model Database design Database Database management systems Data management Object-oriented programming
827	An Active Approach to Characterizing Dynamic Dependencies for Problem Determination in a Distributed Environment A. Brown* Computer Science Division, UC Berkeley 387 Soda Hall #1776 Add to Reading List Source URL: roc.cs.berkeley.edu Language: English - Date: 2002-06-04 00:43:30 Parallel computing Computing Transaction Processing Performance Council Object-oriented design Perturbation theory Component-based software engineering Software engineering Dependency graph Incremental computing
828	Early View publication on www.interscience.wiley.com (issue and page numbers not yet assigned; citable using Digital Object Identifier – DOI) Fortschr. Phys., 1–[removed]DOI[removed]prop[removed]Quantum phenome Add to Reading List Source URL: physics.bu.edu Language: English - Date: 2006-05-17 20:27:17 Operator theory Fourier analysis Constructible universe Complex number Coherent states Fourier transform Dirac equation Hilbert space Ordinal number Physics Mathematical analysis Quantum mechanics
829	Draft of a paper submitted to a planned volume in honor of Tony Hoare’s 75-th birthday, 2009. Avoid a Void: The eradication of null dereferencing Bertrand Meyer+, Alexander Kogtenkov+, Emmanuel Stapf+ + Add to Reading List Source URL: docs.eiffel.com Language: English* - Date: 2009-08-04 15:25:12 Object-oriented programming Type theory Data types Procedural programming languages C++ Void safety Eiffel Void type ALGOL 68 Software engineering Computing Computer programming

UPDATE